Safety critical and high-integrity systems, such as industrial plants and economic systems, can be subject to abrupt changes ...